snds($l$;before($e$)) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$concat(map($\lambda$$e$.sends($l$;$e$);before($e$)))